Univalent Foundations
Univalent foundations
ZFC公理系、圏論のような数学の基礎として扱うような理論[Thierry2014]
メタ理論といえるらしい
現在はUnivalent Foundationの実装がUniMathに含まれている Univalent Foundationsの訳
Univalent
一価の or 同値性の
foundations
基礎付けが良さそう
Univalent foundationができた経緯の記事。
Univalent FoundationsについてのVoevodskyのインタビュー
確認用
Q. Univalent foundation
関連
参考
メモ
See Ahrens, Benedikt; Kapulkin, Chris; Shulman, Michael (2015). "Univalent categories and the Rezk completion". Mathematical Structures in Computer Science. 25 (5): 1010–1039. arXiv:1303.0584. doi:10.1017/S0960129514000486. S2CID 1135785.